
                           %Definition Operator%

   Syntax     label : expression {%=%expression}
              label : expression {r1 expression {r2 expression}}

   Where      r1 and r2 are the relations <,>,<=,>=.

   Purpose    Permits the user to define expressions, equations or relations

   %Examples%

   þE : x + ArcHypSin(x) + %Ÿ%{0,x}Sin(t)%d%(t)
   þLABEL R[1..2]
   þR[1] : 0 < x
   þR[2] : 0 <= g(x) < f(x)

   PROCEDURE Assign(LABEL L ; PARAMETER P) ;
     L : P ;
   EXIT

